大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Foundations of Computer Science (26th : 1985) 的图书(共7795本)

End-User Development [electronic resource] : Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings

0
索取号：
作者：Costabile、 Maria Francesca.、Dittrich、 Yvonne.、Fischer、 Gerhard.、Piccinno、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Processing in Computer-Assisted Interventions [electronic resource] : Second International Conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings

0
索取号：
作者：Taylor、 Russell H.、Yang、 Guang-Zhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

0
索取号：
作者：France、 Robert B.、Kuester、 Jochen M.、Bordbar、 Behzad.、Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Combinatorial Pattern Matching [electronic resource] : 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings

0
索取号：
作者：Giancarlo、 Raffaele.、Manzini、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

0
索取号：
作者：Butler、 Michael.、Schulte、 Wolfram.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Future Challenges in Security and Privacy for Academia and Industry [electronic resource] : 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings

0
索取号：
作者：Camenisch、 Jan.、Fischer-H眉bner、 Simone.、Murayama、 Yuko.、Portmann、 Armand.、Rieder、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

0
索取号：
作者：Shen、 Gang.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

0
索取号：
作者：Shen、 Gang.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Dependable Computer Systems [electronic resource]

0
索取号：
作者：Zamojski、 Wojciech.、Kacprzyk、 Janusz.、Mazurkiewicz、 Jacek.、Sugier、 Jaros艂aw.、Walkowiak、 Tomasz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer and Information Science 2011 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

The Global Administrative Law of Science [electronic resource]

0
索取号：
作者：Ruffert、 Matthias.、Steinecke、 Sebastian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations on Natural and Artificial Computation [electronic resource] : 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I

0
索取号：
作者：Ferr谩ndez、 Jos茅 Manuel.、脕lvarez S谩nchez、 Jos茅 Ram贸n.、Paz、 F茅lix.、Toledo、 F. Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

0
索取号：
作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Bioinformatics Research and Applications [electronic resource] : 7th International Symposium, ISBRA 2011, Changsha, China, May 27-29, 2011. Proceedings

0
索取号：
作者：Chen、 Jianer.、Wang、 Jianxin.、Zelikovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Laboratory Science with Space Data [electronic resource] : Accessing and Using Space-Experiment Data

0
索取号：
作者：Beysens、 Daniel.、Carotenuto、 Luigi.、van Loon、 Jack J.W.A.、Zell、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.